3881. The geometry of information retrieval
پدیدآورنده: Van Rijsbergen, Cornelis Joost, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,Mathematics ، Information storage and retrieval systems
رده :
QA
76
.
9
.
M35V26
3882. The geometry of information retrieval
پدیدآورنده: Van Rijsbergen, C. J.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: Mathematics ، Computer science,Mathematics ، Information storage and retrieval systems
رده :
QA
76
.
9
.
M35
V38
3883. The geometry of information retrieval
پدیدآورنده: Van Rijsbergen, C. J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، Information storage and retrieval systems-- Mathematics
رده :
QA
76
.
9
.
M35
.
V38
2004
3884. The graph isomorphism problem : its structural complexity
پدیدآورنده: Kobler, Johannes
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computational complexity,، Graph theory -- Data processing,، Isomorphisms )Mathematics(
رده :
QA
267
.
7
.
K63
1993
3885. The graph isomorphism problem : its structural complexity
پدیدآورنده: Kobler, Johannes, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,Data processing ، Graph theory,، Isomorphisms )Mathematics(
رده :
QA
267
.
7
.
K625
3886. The implementation of Prolog /
پدیدآورنده: Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Prolog (Computer program language),MATHEMATICS-- Linear & Nonlinear Programming.,Prolog (Computer program language)
رده :
QA76
.
73
.
P76
B65
1993eb
3887. The influence of computing on mathematical research and education
پدیدآورنده: edited by Joseph P. Lasalle
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,، Mathematics -- Research,Study and teaching -- Congresses ، Mathematics
رده :
QA
1
.
P69
Vol
.
20
3888. The interwoven sources of dreams
پدیدآورنده: Umberto Barcaro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Dream interpretation.,Dreams.
رده :
BF1078
.
U434
2010
3889. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده: editors : Masakazu Suzuki....]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
3890. The joy of sets :
پدیدآورنده: Keith Devlin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Set theory.
رده :
QA248
.
D38
1993
3891. The limits of mathematics :
پدیدآورنده: Gregory J. Chaitin
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics,Information theory,Reasoning
رده :
QA76
.
9
.
M35
C48
1998
3892. <The> limits of mathematics:a course on information theory
پدیدآورنده: Gregory J.Chaitin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science-mathematics,information theory,reasoning
رده :
QA
76
.
9
.
M35
,
C48
1997
3893. <The> limits of mathematics:a course on information theory
پدیدآورنده: Gregory J.Chaitin
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computer science-mathematics,information theory,reasoning
رده :
QA
76
.
9
.
M35
,
C48
1997
3894. The limits of mathematics : a course on information theory and limits of formal reasoning
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,، Information theory,، Reasoning
رده :
QA
76
.
9
.
M35C43
3895. The limits of mathematics: a course on information theory and the limits of formal reasoning
پدیدآورنده: Chaitin, Gregory J
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، Information theory,، Reasoning
رده :
QA
76
.
9
.
M35
.
C48
1998
3896. The linear complementarity problem
پدیدآورنده: Richard W. Cottle, Jong-Shi Pang, Richard E. Stone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linear complementarity problem.
رده :
QA402
.
5
.
C68
2009
3897. The linear complementarity problem
پدیدآورنده: Richard W. Cottle, Jong-Shi Pang, Richard E. Stone.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linear complementarity problem.
رده :
QA402
.
5
.
C68
2009
3898. The little typer /
پدیدآورنده: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
3899. The making of a new science :
پدیدآورنده: Giorgio Ausiello.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- History.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
17
3900. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده: J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
